#SMT solvers07/10/2025
CodeMender: DeepMind's Gemini-Powered Agent That Automatically Patches Critical Vulnerabilities
'CodeMender is an AI agent from DeepMind that localizes root causes, synthesizes validated patches, and upstreams fixes using Gemini Deep Think and program-analysis tooling, contributing 72 security patches in six months.'